Synthesis and Implementation of Local Modular Supervisory Control for a Manufacturing Cell

The Supervisory Control Theory is applied to a manufacturing cell commanded by a programmable logic controller (PLC). By means of local modular approach a methodology that exploits modularity of the plant and of the behavioral specifications models optimal supervisors are obtained without state-space explosion. For the purpose of simplifying the ladder diagram implementation in the PLC, reduced supervisors are implemented in a three level structure that executes the modular supervisors concurrent action and interfaces the theoretical model with the real system. The flexible and productive manufacturing cell behavior, after the control system practical implementation, and the final PLC code readability and flexibility are positive quality indicators to the applied methodology.